English theorem proving program: перевод на другие языки